餘鎖 (cochain)